For example, if multiple different power supplies are used, then logic synthesis must insert level shifters, place and route must deal with them correctly, and other tools such as static timing analysis and formal verification must understand these components. على سبيل المثال، عند استخدام العديد من مصادر الطاقة المختلفة، فإن التخليق المنطقي يجب أن يدخل مستوى المحولات ومكان وتسيير يجب أن يتعامل معها بشكل صحيح والأدوات الأخرى مثل التحليل الزماني الساكن والتفعيل الرسمي يجب أن تُفهم هذه المكونات.